Electronic design automation - PDFSEARCH.IO - Document Search Engine

Electronic design automation
Results: 1598

#	Item
571	NetCon Software Compatibility Nat Radio Co. NetCon (for Windows[removed], [removed]RLD Vendor Name Add to Reading List Source URL: www.natradioco.com Language: English - Date: 2006-01-14 22:49:14 OrCAD PCB PADS Cadence Design Systems Mentor Graphics Comparison of EDA software Electronic design automation Electronic engineering Capture CIS
572	Table of Contents Introduction to DFT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1-1 Objectives: . . . . . . . . . . . . . . . . . . . . . . . . Add to Reading List Source URL: www.soft-test.com Language: English - Date: 2013-01-28 01:04:00 Electronics manufacturing Automatic test pattern generation Boundary scan Joint Test Action Group Scan chain Fault coverage In-circuit test Logic simulation Stuck-at fault Electronic engineering Electronics Electronic design automation
573	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Don’t care in SMT⋆ Building flexible yet efficient abstraction/refinement solvers Andreas Bauer1 , Martin Leucker2 , Christian Sc Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2009-10-01 20:34:14 Mathematics Model theory Logic in computer science Electronic design automation NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Constraint satisfaction problem Symbol Theoretical computer science Constraint programming Mathematical logic
574	ｲｑｎｌＡｾＱ • COMA Mobile Station Modem (MSM) ASIC Add to Reading List Source URL: www.hotchips.org Language: English - Date: 2013-07-27 22:45:28 Electronic design automation Integrated circuits Application-specific integrated circuit Interleaving Field-programmable gate array Symbol rate Design for testing Logic simulation Modulation Electronic engineering Digital electronics Design
575	Addressing Automotive System Electrification Challenges with Physical Modeling & Simulation Saber Solutions Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-01-15 08:15:47 Electromagnetism Integrated circuits Hillsboro Oregon Synopsys Integrated circuit design Modeling and simulation Simulation Electronic design automation Electronic engineering Electronic design Electronics
576	Don’t care in SMT—Building flexible yet efficient abstraction/refinement solvers1 Andreas Bauer∗ , Martin Leucker∗∗, Christian Schallhart∗∗, Michael Tautschnig∗∗ ∗ ∗∗ Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2007-11-26 20:10:39 Mathematics Logic in computer science Electronic design automation Formal methods NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Constraint satisfaction problem Solver Theoretical computer science Constraint programming Applied mathematics
577	Table of Contents Table of Contents The Basics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1-1 Objectives . . . . . . . . . . . . . . . . . . . Add to Reading List Source URL: www.soft-test.com Language: English - Date: 2013-05-02 03:38:00 Electronics manufacturing Electronic test equipment Electronic design automation Design for X Quality control Design for testing Automatic test equipment Boundary scan Wafer testing Manufacturing Electronic engineering Electronics
578	TU_border_A4_portret_front Add to Reading List Source URL: www.tudelft.nl Language: English - Date: 2013-12-09 10:23:58 Electromigration Electronic design automation Physics Memristor Delft University of Technology Cathode Lithium-ion battery Anode Electromagnetism Electrodes Technology
579	18th Euromicro Conference on Digital System Design Funchal, Madeira, Portugal - August 26-28, 2015 DSD 2015 Add to Reading List Source URL: paginas.fe.up.pt Language: English - Date: 2015-02-19 10:58:39 Emerging technologies EUROMICRO Synthetic biology Agilent Technologies Memristor Logic synthesis Physical design High-level synthesis European Train Control System Electronic design automation Electronic engineering Technology
580	A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions. I. The Two-Level Case. Calogero G. Zarba ([removed]) LORIA and INRIA-Lorraine 615, rue du Jardin Botan Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 12:40:27 Logic in computer science Model theory Boolean algebra Boolean satisfiability problem Electronic design automation Interpretation Symbol Function Mathematics Theoretical computer science Mathematical logic

UPDATE